Revision: tla-tools--devo--0--patch-84
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Sun Sep 28 08:32:18 JST 2003
Standard-date: 2003-09-27 23:32:18 GMT
Modified-files: ChangeLog tla-file-log.shpp
    tla-tools-funs.awk tla-update-tags.shpp
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-84
Summary: Adjust for tla logs/log-ls command renamings

